- 程序正確性證明
- 正確性證明
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
proof of correctness中文什么意思
例句與用法
- We discuss the important designing technologies used in mb - protocol and compare it with protocols related . then we give a rigorous proof of correctness mb protocol based on strand space model
在此基礎(chǔ)上提出了一個(gè)手機(jī)銀行安全協(xié)議- mb協(xié)議，分析了設(shè)計(jì)協(xié)議時(shí)使用的重要技術(shù)，并和其他相關(guān)協(xié)議進(jìn)行了比較。 - Chapter 6 discusses a modeling of the mst algorithm of supporting qos multicast routing , puts forward a new algorithm , simulates it and gets the results , the proof of correctness and complexity analysis of the new algorithm are given , chapter 7 summarizes this paper , at the same time , suggestions for future research are given
第6章，討論了支持qos多播路由的基于最小生成樹算法的理論模型并提出一種新的算法，試驗(yàn)仿真結(jié)果證明了它的效率會(huì)比傳統(tǒng)算法大大提高。第7章，給出了本文的總結(jié)，并對(duì)下一步的工作作了展望。